http://pauillac.inria.fr/~fpottier/